Hentenryck, Pascal Van: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Dynamic Compressor Optimization in Natural Gas Pipeline Systems

Mak, Terrence W. K., Hentenryck, Pascal Van, Zlotnik, Anatoly, Bent, Russell

Journal:

INFORMS Journal on Computing

Year:

2019

Language:

english

File:

PDF, 1.17 MB

english, 2019

2

Solving large combinatorial problems in logic programming

Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck

Journal:

The Journal of Logic Programming

Year:

1990

Language:

english

File:

PDF, 1.22 MB

english, 1990

3

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 3819 || Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs

Van Hentenryck, Pascal

Year:

2006

Language:

english

File:

PDF, 255 KB

english, 2006

4

Experimental evaluation of a generic abstract interpretation algorithm for PROLOG

Le Charlier, Baudouin, Van Hentenryck, Pascal

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1994

Language:

english

File:

PDF, 3.98 MB

english, 1994

5

Constraint satisfaction using constraint logic programming

Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas

Journal:

Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 2.22 MB

english, 1992

6

Design, implementation, and evaluation of the constraint language cc(FD)

Pascal Van Hentenryck, Vijay Saraswat, Yves Deville

Journal:

The Journal of Logic Programming

Year:

1998

Language:

english

File:

PDF, 200 KB

english, 1998

7

A two-stage hybrid algorithm for pickup and delivery vehicle routing problems with time windows

Russell Bent, Pascal Van Hentenryck

Journal:

Computers & Operations Research

Year:

2006

Language:

english

File:

PDF, 269 KB

english, 2006

8

Introduction to the Special Issue on Principles and Practice of Constraint Programming

Pascal Van Hentenryck

Journal:

Year:

2005

Language:

english

File:

PDF, 22 KB

english, 2005

9

Online stochastic reservation systems

Pascal Van Hentenryck, Russell Bent, Luc Mercier, Yannis Vergados

Journal:

Annals of Operations Research

Year:

2009

Language:

english

File:

PDF, 1.12 MB

english, 2009

10

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 4510 || Connections in Networks: Hardness of Feasibility Versus Optimality

Van Hentenryck, Pascal, Wolsey, Laurence

Year:

2007

Language:

english

File:

PDF, 452 KB

english, 2007

11

Type analysis of prolog using type graphs

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 1.69 MB

english, 1995

12

Constraint Programming for Combinatorial Search Problems

Pascal Van Hentenryck

Journal:

Year:

1997

Language:

english

File:

PDF, 74 KB

english, 1997

13

Scenario-Based Planning for Partially Dynamic Vehicle Routing with Stochastic Customers

Bent, Russell W., Van Hentenryck, Pascal

Journal:

Operations Research

Year:

2004

Language:

english

File:

PDF, 265 KB

english, 2004

14

Constraint Programming: Strategic Directions

Pascal Van Hentenryck, Vijay Saraswat

Journal:

Year:

1997

Language:

english

File:

PDF, 235 KB

english, 1997

15

[American Society of Civil Engineers First International Symposium on Uncertainty Modeling and Analysis and Management (ICVRAM 2011); and Fifth International Symposium on Uncertainty Modeling and Anaylsis (ISUMA) - Hyattsville, Maryland, United States (April 11-13, 2011)] Vulnerability, Uncertainty, and Risk - Strategic Planning for Power System Restoration

Coffrin, Carleton, Van Hentenryck, Pascal, Bent, Russell

Year:

2011

Language:

english

File:

PDF, 256 KB

english, 2011

16

Standard forms for rational linear arithmetic in constraint logic programming

Pascal Van Hentenryck, Thomas Graf

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 879 KB

english, 1992

17

Constraint and Integer Programming in OPL

Hentenryck, Pascal Van

Journal:

INFORMS Journal on Computing

Year:

2002

Language:

english

File:

PDF, 435 KB

english, 2002

18

A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations

Janssen, Micha, Van Hentenryck, Pascal, Deville, Yves

Journal:

SIAM Journal on Numerical Analysis

Year:

2002

Language:

english

File:

PDF, 516 KB

english, 2002

19

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || Symmetry Breaking Revisited

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 214 KB

english, 2002

20

Joint Electricity and Natural Gas Transmission Planning with Endogenous Market Feedbacks

Bent, Russell, Blumsack, Seth, Van Hentenryck, Pascal Rene, Borraz Sanchez, Conrado, Shahriari, Mehdi

Journal:

IEEE Transactions on Power Systems

Year:

2018

Language:

english

File:

PDF, 7.17 MB

english, 2018

21

Constraint programming over nonlinear constraints

Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou

Journal:

Science of Computer Programming

Year:

1998

Language:

english

File:

PDF, 1.93 MB

english, 1998

22

Safe and tight linear estimators for global optimization

Glencora Borradaile, Pascal Van Hentenryck

Journal:

Mathematical Programming

Year:

2005

Language:

english

File:

PDF, 331 KB

english, 2005

23

A Two-Stage Hybrid Local Search for the Vehicle Routing Problem with Time Windows

Bent, Russell, Van Hentenryck, Pascal

Journal:

Transportation Science

Year:

2004

Language:

english

File:

PDF, 302 KB

english, 2004

24

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 276 KB

english, 2002

25

Backtracking without trailing in CLP (RLin)

Van Hentenryck, Pascal, Ramachandran, Viswanath

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1995

Language:

english

File:

PDF, 2.33 MB

english, 1995

26

Constraint satisfaction over connected row-convex constraints

Yves Deville, Olivier Barette, Pascal Van Hentenryck

Journal:

Artificial Intelligence

Year:

1999

Language:

english

File:

PDF, 431 KB

english, 1999

27

Guest editor's introduction

Pascal Van Hentenryck

Journal:

The Journal of Logic Programming

Year:

1993

Language:

english

File:

PDF, 216 KB

english, 1993

28

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 ||

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 10.11 MB

english, 2002

29

Graphical models for optimal power flow

Dvijotham, Krishnamurthy, Chertkov, Michael, Van Hentenryck, Pascal, Vuffray, Marc, Misra, Sidhant

Journal:

Year:

2017

Language:

english

File:

PDF, 1.19 MB

english, 2017

30

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || Robust and Parallel Solving of a Network Design Problem

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 189 KB

english, 2002

31

[ACM Press the ACM SIGPLAN 1994 conference - Orlando, Florida, United States (1994.06.20-1994.06.24)] Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation - PLDI '94 - Backtracking without trailing in CLP (R Lin )

Van Hentenryck, Pascal, Ramachandran, Viswanath

Year:

1994

Language:

english

File:

PDF, 1.18 MB

english, 1994

32

Combinations of abstract domains for logic programming: open product and generic pattern construction

Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck

Journal:

Science of Computer Programming

Year:

2000

Language:

english

File:

PDF, 357 KB

english, 2000

33

Consistency Techniques in Ordinary Differential Equations

Yves Deville, Micha Janssen, Pascal Van Hentenryck

Journal:

Year:

2002

Language:

english

File:

PDF, 503 KB

english, 2002

34

The QC Relaxation: A Theoretical and Computational Study on Optimal Power Flow

Coffrin, Carleton, Hijazi, Hassan L., Van Hentenryck, Pascal

Journal:

IEEE Transactions on Power Systems

Year:

2015

Language:

english

File:

PDF, 2.56 MB

english, 2015

35

Extended unification algorithms for the integration of functional programming into logic programming

Mehmet Dincbas, Pascal Van Hentenryck

Journal:

The Journal of Logic Programming

Year:

1987

Language:

english

File:

PDF, 1.85 MB

english, 1987

36

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 44 KB

english, 2002

37

A Linear-Programming Approximation of AC Power Flows

Coffrin, Carleton, Van Hentenryck, Pascal

Journal:

INFORMS Journal on Computing

Year:

2014

Language:

english

File:

PDF, 442 KB

english, 2014

38

Evaluation of the domain prop

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 2.26 MB

english, 1995

39

A gentle introduction to Numerica

Pascal Van Hentenryck

Journal:

Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 1.58 MB

english, 1998

40

AI@NICTA

Barnes, Nick, Baumgartner, Peter, Caetano, Tiberio, Durrant-Whyte, Hugh, Klein, Gerwin, Sanderson, Penelope, Sattar, Abdul, Stuckey, Peter, Thiebaux, Sylvie, Van Hentenryck, Pascal, Walsh, Toby

Journal:

Year:

2012

File:

PDF, 5.90 MB

2012

41

[Lecture Notes in Computer Science] Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Volume 4510 ||

Van Hentenryck, Pascal, Wolsey, Laurence

Year:

2007

Language:

english

File:

PDF, 8.09 MB

english, 2007

42

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming - CP 2002 Volume 2470 || Constraint Programming Contribution to Benders Decomposition: A Case Study

Van Hentenryck, Pascal

Year:

2002

Language:

english

File:

PDF, 1.20 MB

english, 2002

43

A Modeling Layer for Constraint-Programming Libraries

Michel, Laurent, Van Hentenryck, Pascal

Journal:

INFORMS Journal on Computing

Year:

2005

Language:

english

File:

PDF, 197 KB

english, 2005

44

Prediction and behavioral analysis of travel mode choice: A comparison of machine learning and logit models

Zhao, Xilei, Yan, Xiang, Yu, Alan, Van Hentenryck, Pascal

Journal:

Travel Behaviour and Society

Year:

2020

Language:

english

File:

PDF, 988 KB

english, 2020

45

Search and strategies in OPL

Van Hentenryck, Pascal, Perron, Laurent, Puget, Jean-François

Journal:

ACM Transactions on Computational Logic

Year:

2000

Language:

english

File:

PDF, 166 KB

english, 2000

46

[ACM Press the 1995 ACM SIGPLAN symposium - La Jolla, California, United States (1995.06.21-1995.06.23)] Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95 - Semantic foundations of binding-time analysis for imperative programs

Das, Manuvir, Reps, Thomas, van Hentenryck, Pascal

Year:

1995

Language:

english

File:

PDF, 1016 KB

english, 1995

47

A decomposition-based implementation of search strategies

Michel, Laurent, Van Hentenryck, Pascal

Journal:

ACM Transactions on Computational Logic

Year:

2004

Language:

english

File:

PDF, 210 KB

english, 2004

48

A generic arc-consistency algorithm and its specializations

Pascal Van Hentenryck, Yves Deville, Choh-Man Teng

Journal:

Artificial Intelligence

Year:

1992

Language:

english

File:

PDF, 1.34 MB

english, 1992

49

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - Combinations of abstract domains for logic programming

Cortesi, Agostino, Le Charlier, Baudouin, Van Hentenryck, Pascal

Year:

1994

Language:

english

File:

PDF, 1.36 MB

english, 1994

50

Incremental search in Constraint Logic Programming

Pascal Van Hentenryck, Thierry Le Provost

Journal:

New Generation Computing

Year:

1991

Language:

english

File:

PDF, 966 KB

english, 1991

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски